chore: de-Nix-ify macOS binary

.github/workflows/ci.yml

@@ -84,9 +84,16 @@ jobs:
           cd build
           cmake .. ${{ matrix.CMAKE_OPTIONS }}
           make -j4
+      # de-Nix-ify binary
       - name: Patch
         run: patchelf --set-interpreter /lib64/ld-linux-x86-64.so.2 --remove-rpath build/stage0.5/bin/lean
         if: matrix.name == 'Linux release'
+      - name: Patch
+        run: |
+          for lib in $(otool -L build/stage0.5/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/stage0.5/bin/lean
+          done
+        if: matrix.name == 'macOS'
       - name: Pack
         run: cd build/stage0.5; cpack
       - uses: actions/upload-artifact@v2