--- # defaults file for openmpi