The jenkins role actually explicitly names files as hpi unless they're
jpi.pinned, so make this optional.  It seems to come up more if you've
upgraded plugins via the web UI.