timestamp for cpuminer-config.h