setting for travis-ci