Removing the built-in game-over menu (#261).