How to install intel2gas on Debian 9 (Stretch)