savegame: debian_7_2_default_stepinto_run speced up