Use separate configuration for Travis CI