How to remove ptex-buildsupport from Debian 9 (Stretch)