timestamp for wmfconfig.h