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