diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index bbdc2a19..0e238423 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -231,6 +231,7 @@ jobs:
           # TODO(@gussmith23): hardcoded versions will break eventually.
           export LDFLAGS="-L/usr/local/Cellar/gmp/6.3.0/lib"
           export CPPFLAGS="-I/usr/local/Cellar/gmp/6.3.0/include"
+          brew link --force gmp
           NONINTERACTIVE=1 brew install gperf autoconf
           mkdir yices2 && cd yices2
           wget -qO- https://github.com/SRI-CSL/yices2/archive/$YICES2_COMMIT_HASH.tar.gz | tar xz --strip-components=1