Files
tla_visualiser/build.bat