alloc_ofp_port does not allocate the port number correctly