settings for travis com mono