How to install dejagnu on Debian 9 (Stretch)