Non-deterministic savefile loading crash

This testcase seems to fail sometimes and run other times.