How to install mono-fastcgi-server4 on Debian 9 (Stretch)