timestamp for inc/config_osi.h
