timestamp for include/portable.h
