I can handle this with PANTS_BOOTSTRAPDIR in the jenkins script, but I'll get you that offline anyhow