use default.nix for hans