How to remove gsl-doc-info from Debian 9 (Stretch)