settings file for travis-ci