timestamp for nrnconf.h
