Update 5_vm_repo.nix