It was noticed in https://github.com/pq-code-package/mlkem-native/pull/1303 that `autogen` does not appear to succeed on `macos-15-intel` runners.