Fixes in run-tt and main.cpp