I did realize the names were exactly the same. I wonder what could have gone wrong?
EDIT: I have carefully reconstructed the iso again, closely following the tutorial and making sure I replaced all the corrected files in the correct order. And yet, the same thing happened again: the game...