timestamp for vvp/config.h