Update 3_vm.nix