use PYTHON environment variable (if set) to determine default Python executable, or "python" otherwise