timestamp for tsk/tsk_config.h
