Merge pull request #20337 from d10c/d10c/python-overlay-compilation-p…

Merge pull request #20337 from d10c/d10c/python-overlay-compilation-p… #10006