Merge pull request #10480 from douzzer/20260513-fixes #4743

Job	Run time
make and analyze (--enable-all --enable-mlkem --enable-mldsa --enable-xmss --enable-lms --enable-...	14s
	14s

Provide feedback