Use python2 for the script, otherwise some extra tools won't get built.