How to install redet on Debian 9 (Stretch)