> On 11. Jan 2024, at 11:12, Michael Albinus <michael.albinus@gmx.de> wrote:
> 
> Could you, please, check whether the appended patch works? I cannot test
> myself, I have no macOS machine.


It works, thanks.

--
wbr, Kirill