BUG: syntax error in settings.sh
This signals that we are using the system installed openmpi version.