rm the bash script for timeout; not reliable