diff --git a/default.nix b/default.nix
index 35c83190..b3a42373 100644
--- a/default.nix
+++ b/default.nix
@@ -33,7 +33,7 @@ in
 
       installPhase = ''
         mkdir -p $out $out/nix-support
-        cp target/armv7-none-eabihf/release/szl $out/$szl.elf
+        cp target/armv7-none-eabihf/release/szl $out/szl.elf
         echo file binary-dist $out/szl.elf >> $out/nix-support/hydra-build-products
       '';
 
@@ -56,7 +56,7 @@ in
     zc706-jtag = pkgs.runCommand "zc706-jtag" {}
       ''
         mkdir $out
-        ln -s ${zc706-szl}/szl $out
+        ln -s ${zc706-szl}/szl.elf $out
         ln -s ${zc706-gateware}/top.bit $out
       '';
   }