more docker tweaks, better savegame loading