Use the default python version by default (!)
Add some fiddling I did recently