timestamp for libdrm/config.h
