diff --git a/default.nix b/default.nix
index 3688aa66c..d5474dcaf 100644
--- a/default.nix
+++ b/default.nix
@@ -49,6 +49,7 @@ pkgs.mkShell {
     ''
       export LD_DIR=${lddir}
       export TOOLCHAIN_DIR=${toolchain}
+      export HOST_LIBC=${stdenv.glibc.dev}
       export SYSLINUX=${syslinux}
       export PROMPT_DIRTRIM=2
       export PS1="\[\033[1;30m\]Genode-dev [\[\033[1;37m\]\w\[\033[1;30m\]] $\[\033[0m\] "