lockfile.cc #1