How to remove mpb-mpi from Debian 9 (Stretch)