Mininet CE CLI fix