diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index e1f51e2ddec..3585e9cd90e 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -7,10 +7,9 @@ build_style=configure
 configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)"
 make_build_args="-C build all examples"
 make_install_args="-C build install"
-hostmakedepends="python3 $(vopt_if ocaml 'ocaml ocaml-findlib')"
+hostmakedepends="python3 which $(vopt_if ocaml 'ocaml ocaml-findlib')"
 makedepends="libgomp-devel gmp-devel $(vopt_if ocaml 'ocaml-zarith ncurses-devel')"
 depends="python3 python3-setuptools"
-pycompile_module="z3"
 short_desc="Z3 theorem prover and SMT solver (command line + Python3 module)"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="MIT"