How to install openmpi-common on Debian 9 (Stretch)