How to remove cernlib from Debian 9 (Stretch)