diff --git a/lib/default.nix b/lib/default.nix
index ac5190c..133c21b 100644
--- a/lib/default.nix
+++ b/lib/default.nix
@@ -19,7 +19,7 @@ in rec {
 
   runDhallCommand = name: env: script:
     nixpkgs.runCommand name (env // {
-      nativeBuildInputs = [ buildPackages.dhall ] ++ env.buildPackages or [ ];
+      nativeBuildInputs = [ buildPackages.dhall ] ++ env.nativeBuildInputs or [ ];
     }) ''
       ${dhallCachePrelude}
       ${script}
diff --git a/nixos-modules/buildBootDescription.nix b/nixos-modules/buildBootDescription.nix
index 511102e..345d33c 100644
--- a/nixos-modules/buildBootDescription.nix
+++ b/nixos-modules/buildBootDescription.nix
@@ -12,11 +12,11 @@ let
   extractDrv = lib.runDhallCommand "binaries.json" {
     nativeBuildInputs = [ dhall-json ];
   } ''
-    dhall-to-json << TRUE_DEATH > $out
+    dhall-to-json << EOF > $out
     let Genode = env:DHALL_GENODE
     let init = ${initConfig}
     in Genode.Init.Child.binaries (Genode.Init.toChild init Genode.Init.Attributes::{=})
-    TRUE_DEATH
+    EOF
   '';
   binariesJSON = readFile (toString extractDrv);
   binaries = lib.unique (fromJSON binariesJSON ++ extraBinaries);