Fixed configuration file for Travis