/bin/bash: mrc2gif: No such file or directory