openmpi: add /etc/openmpi