diff --git a/srcpkgs/z3/patches/mpz.patch b/srcpkgs/z3/patches/mpz.patch
new file mode 100644
index 00000000000..daa9c6920eb
--- /dev/null
+++ b/srcpkgs/z3/patches/mpz.patch
@@ -0,0 +1,11 @@
+--- src/util/mpz.cpp.orig
++++ src/util/mpz.cpp
+@@ -72,7 +72,7 @@
+ 
+ #if defined(_WINDOWS) && !defined(_M_ARM) && !defined(_M_ARM64)
+ // _trailing_zeros32 already defined using intrinsics
+-#else
++#elif !defined(__GNUC__)
+ inline uint32_t _trailing_zeros32(uint32_t x) {
+     uint32_t r = 0;
+     for (; 0 == (x & 1) && r < 32; ++r, x >>= 1);