Update virtualbox.nix