timestamp for rovm_config.h
