modify configuration for travis.ci