Tweaks for travis-ci to build on mono.