Update configuration for Travis-CI