Fix default value of python-shell-interpreter