How to install s51dude on Debian 9 (Stretch)