It works now! It's a bit embarrassing but I still don't know what caused the problem, since I did it exactly the same as before. I suspect that something went wrong while downloading the file, I haven't checked the MD5 checksum. This is very unlikely but I don't have a better explanation why it didn...