Attempt to fix Travis CI builds