timestamp for util/gaul/gaul_config.h
