Add some debugging stuff to runLinux.sh