settings for travis with mono