Make Python 3 the default Python.