timestamp for ./config.h