timestamp for rng-tools-config.h
