fixup! Update travis config to install mono 3