use python3, not 3.2 specifically