Trying to fix the Travis CI config