adjust settings for travis-ci