How to remove 4ti2-doc from Debian 9 (Stretch)