How to install iverilog on Debian 9 (Stretch)