diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index f026075a486..9d2f86ce54b 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -1,7 +1,7 @@
 # Template file for 'z3'
 pkgname=z3
 version=4.4.1
-revision=1
+revision=2
 wrksrc="${pkgname}-${pkgname}-${version}"
 hostmakedepends="python"
 makedepends="libgomp-devel gmp-devel"
@@ -23,7 +23,7 @@ do_configure() {
 		sed -i '/define USE_INTRINSICS\|emmintrin.h/d' src/util/hwf.cpp
 	esac
 
-	./configure --prefix=/usr -g
+	LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g
 }
 
 do_build() {