How to remove mgltools-bhtree from Debian 9 (Stretch)