anchor.diff:    installPhase = ''
       mkdir -p "$out/bin"
       cp -r "$src" "$out/toolbox"
  -    chmod +w "$out/toolbox" "$out/toolbox/toolbox"
  +    chmod -R +w "$out/toolbox"
   
       patchelf \
         --set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \
         "$out/toolbox/toolbox"
   
  +    patchelf \
  +      --set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \
  +      "$(find "$out/toolbox" -name java)"
  +
       makeWrapper $out/toolbox/toolbox $out/bin/tla-toolbox \
         --run "set -x; cd $out/toolbox" \
         --add-flags "-data ~/.tla-toolbox" \
  -      --prefix PATH : "${jre}/bin" \
  -      --prefix LD_LIBRARY_PATH : "${lib.makeLibraryPath [ swt gtk libXtst glib ]}"
  +      --prefix LD_LIBRARY_PATH : "${lib.makeLibraryPath [ gtk libXtst glib zlib ]}"
   
       echo -e "\nCreating TLA Toolbox icons..."
       pushd "$src"
  
positive.code: { lib, fetchzip, makeWrapper, makeDesktopItem, stdenv
  , jre, swt, gtk, libXtst, glib
  }:
  
  let
    version = "1.5.7";
    arch = "x86_64";
  
    desktopItem = makeDesktopItem rec {
  
negative.code:   name = "tla-toolbox-${version}";
    src = fetchzip {
      url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-${version}-linux.gtk.${arch}.zip";
      sha256 = "1mgx4p5qykf9q0p4cp6kcpc7fx8g5f2w1g40kdgas24hqwrgs3cm";
    };
  
    buildInputs = [ makeWrapper  ];
  