diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix
index d357d3fdb95..e9175b6909e 100644
--- a/pkgs/top-level/dotnet-packages.nix
+++ b/pkgs/top-level/dotnet-packages.nix
@@ -205,10 +205,8 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
 
       mv "$out/bin/Dafny" "$out/bin/dafny"
 
-      rm -f "$out/bin"/System.* "$out/bin"/Microsoft.*
-      rm -f "$out/bin"/NUnit3.* "$out/bin"/coverlet.*
-      rm -f "$out/bin"/ThirdPartyNotices.txt
-      rm -f "$out/bin"/XUnitExtensions
+      rm -f $out/bin/{coverlet,Microsoft,NUnit3,System}.*
+      rm -f $out/bin/{ThirdPartyNotices.txt,XUnitExtensions}
     '';
 
     meta = with lib; {