timestamp for osipua-config.h
