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.
