This reverts commit 73537828. Per report from Tom Lane, this breaks parallel builds.
Attach a file by drag & drop or click to upload
