How to remove xmldiff-xmlrev from Debian 9 (Stretch)