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