Fix mininet test port numbers