timestamp for pathnames.h
