Hi guys, i had the same problem and after half a day of thinking and trying out a few things… i found solution for it:)
It’s dead easy… just download the latest version of magento, unzip it and replace the currency.php with the newest version…
worked for me, since i found out that the filesize is different.
my downloaded still doesn’t work, but it says that there is some problem in another file on some line… so i’ll try to do the same - replace the file with most recent one.
hope it’ll work for you too