Changes to travis-ci