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