Fixes to runtnt.sh