diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 2cd3de8ba2e..5e8b1432d3f 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1498,15 +1498,18 @@ rec {
   };
 
   sharedobjects = (import ../development/libraries/java/shared-objects) {
-    inherit fetchurl stdenv jdk;
+    inherit fetchurl jdk;
+    stdenv = overrideInStdenv stdenv [gnumake380];
   };
 
   jjtraveler = (import ../development/libraries/java/jjtraveler) {
-    inherit fetchurl stdenv jdk;
+    inherit fetchurl jdk;
+    stdenv = overrideInStdenv stdenv [gnumake380];
   };
 
   atermjava = (import ../development/libraries/java/aterm) {
-    inherit fetchurl stdenv sharedobjects jjtraveler jdk;
+    inherit fetchurl sharedobjects jjtraveler jdk;
+    stdenv = overrideInStdenv stdenv [gnumake380];
   };
 
   jakartaregexp = (import ../development/libraries/java/jakarta-regexp) {