setting for travis ci with mono