use nix dev-shell.nix