(Re)define GPS_TX_PIN for your board.
@$pb.TagNumber(9) $core.int get txGpio => $_getIZ(8);
@$pb.TagNumber(9) set txGpio($core.int value) => $_setUnsignedInt32(8, value);