timestamp for monetdb_config.h
