timestamp for ompi/include/ompi_config.h
