Switch to python 3.