tlaplusToolbox: use non-binary wrapper for wrapGAppsHook

The use of --add-flags in this derivation does not work with binary
    wrappers, which wrapGAppsHook uses since #164163.

pkgs/applications/science/logic/tlaplus/toolbox.nix

@@ -34,7 +34,10 @@ stdenv.mkDerivation rec {
 
   buildInputs = [ gtk3 ];
 
-  nativeBuildInputs = [ makeWrapper wrapGAppsHook ];
+  nativeBuildInputs = [
+    makeWrapper
+    (wrapGAppsHook.override { makeBinaryWrapper = makeWrapper; })
+  ];
 
   dontWrapGApps = true;