savegame: specs for looking up module names on debian-7 failing