New settings for travis-ci