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