Use Python 3 as the default Python