Whoops -- we didn't use bash for the script