Specify settings file for travis-ci