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