Also the game crashes if I try to press [F1] to configure controls, as the settings menu suggests.
Still does, by the way. With a "Core dumped" complaint in the terminal.
