https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114751
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- I have no idea why the values differ but I suspect the copying since we seem to use the file modification time at some point. As a workaround I would suggest to binary-patch one of the file to make the stamp match the other ...