How to install r-other-mott-happy.hbrem-dbg on Debian 9 (Stretch)