Update configuration for travis-ci