improve recording of commit id when "make dist"