How to install grokevt on Debian 9 (Stretch)