How to remove fonts-dejavu-extra from Debian 9 (Stretch)