Hard-coding the Jenkins URL so that the Docker container-based slaves can get to it.