How to remove gnumach-common from Debian 9 (Stretch)