timestamp for tgt-vvp/vvp_config.h