>
>
> Done that way at
>
>
> https://git.postgresql.org/gitweb/?p=postgresql.git;a=patch;h=635a856279ef55074dfc7a2a96c7fd686b5ff015
>
> If you can confirm that you get a clean build with this patch,
> I'd appreciate it.
>
> I can confirm the build was a success with the above patch.
Thanks :-)
Andrew