Issue #133: .gitignore update + explict call to $PYTHON for pyinstaller