On Windows, don't use WinRAR to extract files. It has a high chance of corrupting files, leading to confusing errors.
