Update configuration for Travis CI