Update 4_vm.nix

use already existent nixpkgs