Adjusting travis-ci