timestamp for pinconfig.h
