To get verification working (on Linux), change the path

  /home/emax/Program/chalmers-lava2000/

in Development/Lava2000/LavaDir.hs to the appropriate path, and change the wrapper scripts in the Scripts/ directory to point to the correct binaries.