Python: fix a minor (re)build error