diff --git a/util/compile.py b/util/compile.py
index 7a8ec18ea..94a7bb4d7 100644
--- a/util/compile.py
+++ b/util/compile.py
@@ -47,7 +47,7 @@ def upload(binaries, ext, stamp):
     zip_name = "release.zip"
     zip = zipfile.ZipFile(zip_name, "w")
     for bin in binaries:
-        zip.write(BINARY_DIR + bin + "." + ext, bin)
+        zip.write(BINARY_DIR + bin + "." + ext, bin + "." + ext)
     zip.write(BINARY_DIR + stamp, stamp)
     zip.close()