settings for travis-ci com mono