timestamp for vhdlpp/vhdlpp_config.h