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