Trying to fix Travis CI.