How to change default python executable