tirtos build fix: port.c renamed wc_port.c