put timestamp in lockfile, and keep lock filename the same across runs