How to install grfcodec on Debian 9 (Stretch)