timestamp for src/Osi/config_osi.h
