Hmm. I re-test things on my local builder before reporting them, so I've definitely been able to reproduce this failure. My builder is much more normal than jenkins: it uses apt to resolve packages, and things like that.
If you don't have any ideas then I can run the build a few more times and see if I can catch what's up.
