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