Some installations have several python versions installed. Allow user
to choose which one to use by setting $PYTHON.