Hack for nix-shell