timestamp for vpi/vpi_config.h