Attempting to fix the Travis CI build