* configure: works again with 3.12