Fixed issue #738: Lost the commit id on file name when use a external diff tool