fix Python build

5 jobs for master in 2 minutes and 43 seconds (queued for 17 seconds)