Continuing to try to fix Travis CI