timestamp for src/Osi/config.h
