timestamp for tgt-vhdl/vhdl_config.h