How to install mono-jay on Debian 9 (Stretch)