Travis build on osx with mono