Fix savegame on 64bit

This makes the saving/loading work on my 64bit Linux.