Fix configuration for Travis CI