Changed settings for travis-ci