cc@vstinner , because I know he's in love with autoconf. I didn't run a local autoreconf because my local version is different from the one used to generate previous version. Instead, I manually edited theconfigure script, feel free to regenerate it on your side.

Can you try to add a NEWS entry in the Build category to document your change? Seehttps://devguide.python.org/ about blurb.

I added a commit to your branch: I ran "make regen-configure" which uses a container to get always the same version.

@vstinner : entry added & commits squashed. Thanks for the review!

Merged, thanks!