How to remove jed-extra from Debian 9 (Stretch)