How to install rt4-standalone on Debian 9 (Stretch)