Bug fix: gitprompt.sh could not be found.