Fix Jenkins invocation of Docker.