Fix macOS build of benchmark test with GCC 14 #3424

Job	Run time
lint-markdown-link	27s
Quickcheck (aarch64)	1m 5s
Examples (macos-latest)	8s
Linting (ubuntu-latest)	1m 29s
Quickcheck (x86_64)	50s
Examples (ubuntu-latest)	3s
Quickcheck C90 (aarch64)	53s
Quickcheck C90 (x86_64)	51s
Quickcheck windows-latest	31s
Quickcheck lib (macos-latest)	17s
Quickcheck lib (ubuntu-latest)	15s
Non-standard configurations (false, pqcp-arm64, ubuntu-latest (aarch64))	4m 15s
Compiler tests (aarch64)	3m 4s
Functional tests (mac)	2m 45s
Platform tests (${{ matrix.target.name }})	0s
Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))	3m 21s
Functional tests (aarch64)	3m 3s
Compiler tests (x86_64)	3m 28s
Functional tests (x86_64, cross)	5m 12s
Compiler tests (macos)	2m 51s
Functional tests (riscv64, cross)	3m 26s
Functional tests (x86_64)	2m 48s
CBMC (ML-KEM-512)	0s
Functional tests (aarch64, cross)	3m 59s
CBMC (ML-KEM-768)	0s
Functional tests (aarch64_be, cross)	3m 8s
CBMC (ML-KEM-1024)	0s
	48m 9s

Provide feedback