experimenting with getting travis ci to use a newer mono version