timestamp for gen/settings.h
