From resurrecting old docker images, it appears that we got it for "free" as part of the jenkins container, but don't have it now that we're starting from a clean install.
