savegame: default_stepinto_spec.rb specs for debian-7.2