headerfile: fix some git shenanigans