fix mininet link options