How to install glpk-utils on Debian 9 (Stretch)