timestamp for rfbconfig.h