configuration for travis-ci