diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index e82f2a2d475c..b1036c968daf 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -45,7 +45,7 @@ let
     }:
     let
       libraryFile = mkLibraryFile pkgs;
-      pname = "${Agda.meta.mainProgram}" + "WithPackages";
+      pname = "${Agda.meta.mainProgram}WithPackages";
       version = Agda.version;
     in
     runCommand "${pname}-${version}"