Update 4_vm.nix