anchor.diff:      makeWrapper $out/toolbox/toolbox $out/bin/tla-toolbox \
         --run "set -x; cd $out/toolbox" \
         --add-flags "-data ~/.tla-toolbox" \
  -      --prefix LD_LIBRARY_PATH : "${lib.makeLibraryPath [ gtk3 libXtst glib zlib ]}"
  +      --prefix LD_LIBRARY_PATH : "${lib.makeLibraryPath [ gtk3 libXtst glib zlib ]}"  \
  +      "''${gappsWrapperArgs[@]}"
   
       echo -e "\nCreating TLA Toolbox icons..."
       pushd "$src"
  
positive.code:     sha256 = "02a2y2mkfab5cczw8g604m61h4xr0apir49zbd1aq6mmgcgngw80";
    };
  
    nativeBuildInputs = [ makeWrapper ];
  
    phases = [ "installPhase" ];
  
  
negative.code: { lib, fetchzip, makeWrapper, makeDesktopItem, stdenv
  , gtk3, libXtst, glib, zlib, wrapGAppsHook
  }:
  
  let
  