How to remove pasdoc from Debian 9 (Stretch)