mono3 install script