How to remove mandos from Debian 9 (Stretch)