How to remove dub from Debian 9 (Stretch)