Fix if file is stale, too, via modification time.