newer Python versions too, XXX we have to override the do-patch rule to avoid patch errors (we use EXTRACT_ELEMENTS, so we don't generally have all the original files)