timestamp for common/portable.h
