How to remove develock-el from Debian 9 (Stretch)