@@ -221,7 +221,7 @@ agdaPostInstall = unlines
221221agda25PostInstall :: String
222222agda25PostInstall = unlines
223223 [ "postInstall = ''"
224− , " files=($out/share/*-ghc-*/Agda-*/lib/prim/Agda/{Primitive.agda,Builtin/*.agda})"
224+ , " files=(\"$out/share/\"*\"-ghc-\"*\"/Agda-\"*\"/lib/prim/Agda/\"{Primitive.agda,Builtin\"/\"*.agda})"
225225 -- Separate loops to avoid internal error
226226 , " for f in \"''${files[@]}\" ; do"
227227 , " $out/bin/agda $f"