#154 Git: in the file change log, do not truncate the file name too much