Alvaro Herrera <alvherre(at)commandprompt(dot)com> writes:
> What we haven't quite figured out is why the file wasn't present on the
> tarball he downloaded. Is it possible that a borked tarball was
> uploaded somewhere?
I seem to recall we found that some tar versions have a limit on total
pathname length? The tarball was actually OK but it got extracted
incorrectly. However the OP seems to be running a reasonably current
Linux so it's hard to believe he's got that problem.
regards, tom lane