Re: FYI: Small build fix for unusual configuration