This version fixes a few bugs, and it is possible to play without installing (./run_without_install is back :-).