Attempting to fix Travis CI