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.