How to remove openmpi-bin from Debian 9 (Stretch)