When running regen for the plat directories we should use the BUILDEXT

extension, not the EXT one, as regen uses the python binary in the build
directory. Fixes #493959.