config for travis-ci