How to install gertty on Debian 9 (Stretch)