anchor.diff:  
     configureFlags = [ "--enable-dialogs=yes" ];
   
  -  enableParallelBuilding = true;
  -
  -  doCheck = true;
  -
     postInstall = ''
       install -D ${./eid-nssdb.in} $out/bin/eid-nssdb
       substituteInPlace $out/bin/eid-nssdb \
         --replace "modutil" "${nssTools}/bin/modutil"
   
  -    # Only provides a useless "about-eid-mw.desktop" that segfaults anyway:
  -    rm -r $out/share/applications $out/bin/about-eid-mw
  +    rm $out/bin/about-eid-mw
  +    wrapProgram $out/bin/eid-viewer --prefix XDG_DATA_DIRS : "$out/share/gsettings-schemas/$name" 
     '';
  +
  +  enableParallelBuilding = true;
  +
  +  doCheck = true;
   
     meta = with stdenv.lib; {
       description = "Belgian electronic identity card (eID) middleware";
  
positive.code:     owner = "Fedict";
    };
  
    nativeBuildInputs = [ autoreconfHook pkgconfig ];
    buildInputs = [ gtk3 pcsclite libxml2 libproxy curl openssl ];
    preConfigure = ''
      mkdir openssl
  
negative.code:     license = licenses.lgpl3;
      longDescription = ''
        Allows user authentication and digital signatures with Belgian ID cards.
        Also requires a running pcscd service and compatible card reader. 
  
        eid-viewer is also installed.
  
        **TO FIX:** 
        The procedure below did not work for me, I had to install the .so directly in firefox as instructed at
        https://eid.belgium.be/en/log-eid#7507
        and specify
        /run/current-system/sw/lib/libbeidpkcs11.so
        as the path to the module.
  
        This package only installs the libraries. To use eIDs in Firefox or
        Chromium, the eID Belgium add-on must be installed.
        This package only installs the libraries. To use eIDs in NSS-compatible
        browsers like Chrom{e,ium} or Firefox, each user must first execute:
          ~$ eid-nssdb add
        (Running the script once as root with the --system option enables eID
        support for all users, but will *not* work when using Chrom{e,ium}!)
        Before uninstalling this package, it is a very good idea to run
          ~$ eid-nssdb [--system] remove
        and remove all ~/.pki and/or /etc/pki directories no longer needed.
      '';
      platforms = platforms.linux;
  