Switch to Python 3 for Gedit 3.8