How to remove tidy from Debian 9 (Stretch)