* proper update of gitinfo.h