REPTRAILS: Patch 0.1.4b

Sometimes games were not saved correctly and couldn't be loaded afterwards. We could not reproduce the bug, but found a fishy spot in our code which may produce corrupted savegames. Hopefully this patch will fix this pr…