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