diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 38b82cef117..78788091da2 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1065,8 +1065,8 @@ rec {
   };
 
   cilaterm = (import ../development/libraries/cil-aterm) {
-    ocaml = ocaml3080;
-    inherit stdenv fetchurl perl;
+    stdenv = overrideInStdenv stdenv [gnumake380];
+    inherit fetchurl perl ocaml;
   };
 
   pcre = (import ../development/libraries/pcre) {