Change the Travis CI configuration