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