Friedrich Beckmann Mon, 20 Nov 2023 14:57:15 -0800
The problem is gone with the -8 release of texlive-binaries. Thanks!!!