more work on settings for the travis CI environment