Use Travis-specific settings file