timestamp for libasmir/config.h
