How to remove mpi-default-bin from Debian 9 (Stretch)