On 24 Jul 2019, at 4:37, Graham Heath wrote:

I did a git bisect and narrowed it down to b42cbb1f.

Thanks, I have now reverted it for master.

Failure of this change depended on the state of the existing (generated) build files.