Use generic Debian/Ubuntu repository to install mono-devel