it is renamed like that. Only difference is that the icons for some of the files don't show up. I've found out the game loads if you let it running in the background for a while (sometimes, it still crashes after opening), but it mostly crashes in between levels.
Still don't know how to fix it though.