So we can use timestamps invariably for all generated files. If that is what everybody agrees to!