timestamp for rfbconfig.h
