timestamp for fficonfig.h
