fixing the name of mininet script