File not extracting from DRM-free version

[Romulator]

I can confirm that file is not essential for the gameplay and will not impede your progress, but it's the first I've heard of that particular error from extracting it. It's really odd that it won't extract even from a second download, since if there were any problems, it would be fixed with a redownload.