timestamp for unix/config.h