How to remove tachyon-doc from Debian 9 (Stretch)