jb55/dotnet2nix not found