Switch to Python 3.