How to install colorgcc on Debian 9 (Stretch)