diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 40d57fd23f..2ec19ab910 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -85,14 +85,19 @@ jobs:
           cd build
           cmake .. ${{ matrix.CMAKE_OPTIONS }}
           make -j4
-      # de-Nix-ify binary
+      # de-Nix-ify binaries
       - name: Patch
-        run: patchelf --set-interpreter /lib64/ld-linux-x86-64.so.2 --remove-rpath build/stage1/bin/lean
+        run: |
+          for f in lean leanpkg; do
+            patchelf --set-interpreter /lib64/ld-linux-x86-64.so.2 --remove-rpath build/stage1/bin/$f
+          done
         if: matrix.name == 'Linux release'
       - name: Patch
         run: |
-          for lib in $(otool -L build/stage1/bin/lean | tail -n +2 | cut -d' ' -f1); do
-            install_name_tool -change "$lib" "/usr/lib/$(basename $lib | sed 's/libc++\.1\.0/libc++.1/')" build/stage1/bin/lean
+          for f in lean leanpkg; do
+            for lib in $(otool -L build/stage1/bin/$f | tail -n +2 | cut -d' ' -f1); do
+              install_name_tool -change "$lib" "/usr/lib/$(basename $lib | sed 's/libc++\.1\.0/libc++.1/')" build/stage1/bin/$f
+            done
           done
         if: matrix.name == 'macOS'
       - name: Pack