How to remove gsl-ref-html from Debian 9 (Stretch)