anchor.diff:        ${optionalString (!pulseSupport) "--disable-pulse"} \
         ${optionalString (!enableHardening) "--disable-hardening"} \
         ${optionalString (!enable32bitGuests) "--disable-vmmraw"} \
  -      --disable-kmods --with-mkisofs=${xorriso}/bin/xorrisofs
  +      --disable-kmods
       sed -e 's@PKG_CONFIG_PATH=.*@PKG_CONFIG_PATH=${libIDL}/lib/pkgconfig:${glib.dev}/lib/pkgconfig ${libIDL}/bin/libIDL-config-2@' \
           -i AutoConfig.kmk
       sed -e 's@arch/x86/@@' \
  
positive.code:   python = python2;
    buildType = "release";
    # Remember to change the extpackRev and version in extpack.nix as well.
    main = "ee3af129a581ec4c1a3e777e98247f8943e976ce6edd24962bcaa5c53ed1f644";
    version = "5.2.14";
  in stdenv.mkDerivation {
    name = "virtualbox-${version}";
  
  
negative.code: { stdenv, fetchurl, lib, fetchpatch, iasl, dev86, pam, libxslt, libxml2
  , libX11, xproto, libXext, libXcursor, libXmu, qt5, libIDL, SDL, libcap
  , libpng, glib, lvm2, libXrandr, libXinerama, libopus
  , pkgconfig, which, docbook_xsl, docbook_xml_dtd_43
  , alsaLib, curl, libvpx, nettools, dbus
  , makeself, perl
  , javaBindings ? false, jdk ? null
  , pythonBindings ? false, python2 ? null
  , extensionPack ? null, fakeroot ? null
  