python3Packages: fix some builds