Bug fix for RunHT.csh