[Python-Dev] configure produces a non-working Makefile in some scenarios, due to ASDLGEN