Switch to python3.