upgrade mono to the latest version for Travis CI