Hi Mark,

You wrote:
> 	 this should be fixed in the next set of maintainence releases.
> 9.11.1b1 is currently available. 9.11.1rc1 is due out in a week or so.

I can confirm that 9.11.1b1 builds successfully.  Thank you!

Best regards,
-- 
Andreas Gustafsson, gson@araneus.fi