timestamp for silcdefs.h