Minor bug fix; BASH script to run it on stampede