How to remove pdf2htmlex from Debian 9 (Stretch)