Add a faster python regeneration script.