How to remove haxml from Debian 9 (Stretch)