timestamp for fficonfig.h