fix: do not link statically against pthread/dl/rt

[TwoFX]

No description provided.

[leanprover-community-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase c6e4947f4a99919096dcaf88da725062f1a73471 --onto c779f3a039963fd38b03a78f635f0a7c36f24f42. (2024-11-05 14:46:34)

[github-actions]

The backport to releases/4.14.0 failed:

The process '/usr/bin/git' failed with exit code 128

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub
git fetch
# Create a new working tree
git worktree add .worktrees/backport-releases/4.14.0 releases/4.14.0
# Navigate to the new working tree
cd .worktrees/backport-releases/4.14.0
# Create a new branch
git switch --create backport-5966-to-releases/4.14.0
# Cherry-pick the merged commit of this pull request and resolve the conflicts
git cherry-pick -x --mainline 1 c157ddda11c052c6bf061a2cec38a72b17de2661
# Push it to GitHub
git push --set-upstream origin backport-5966-to-releases/4.14.0
# Go back to the original working tree
cd ../..
# Delete the working tree
git worktree remove .worktrees/backport-releases/4.14.0

Then, create a pull request where the base branch is releases/4.14.0 and the compare/head branch is backport-5966-to-releases/4.14.0.