How to install dgedit on Debian 9 (Stretch)