timestamp for port/libport_config.h
