Turning off the default Jenkins build agents