Fix build with ``PYTHON_FOR_REGEN=python3.8``.