diff --git a/packages/genodelabs/default.nix b/packages/genodelabs/default.nix
index 45dab7f..d6415cf 100644
--- a/packages/genodelabs/default.nix
+++ b/packages/genodelabs/default.nix
@@ -21,7 +21,6 @@ let
   genodeSources =
     # The Genode source repository
     let
-
       toolPrefix = if platform.isx86 then
         "genode-x86-"
       else if platform.isAarch64 then
@@ -123,7 +122,7 @@ let
   ports =
     lib.mapAttrs preparePort (import ./ports.nix { inherit buildPackages; });
 
-  toolchain' = buildPackages.stdenv.mkDerivation rec {
+  toolchain' = buildPackages.gcc8Stdenv.mkDerivation rec {
     pname = "toolchain";
     inherit (genodeSources) src version;