Python: fix a minor (re)build error
Merge remote-tracking branch 'upstream/master'