timestamp for tests/server/config.h
