setting for travis-ci with mono