nix shell fix per issue #15