Cleaner "mount -t 9p" command in   ../run_jenkins_thomaston.sh