difftool: stop appending '.exe' to git