timestamp for include/aconfig.h
