Use Python 3 by default