fixing install-mininet-vm.sh