AppLauncher: ensure extension of savefile name