Update port.h