git4idea: The HOME environment variable is now set to user.home if it is not specifie...