well actually, reverting a file to an old mtime shouldn’t be an issue. the mtime check of file vs compiled file header should be an equality check (and not <= as was previously).