diff --git a/setup.py b/setup.py
index 69b3d04..39326ee 100644
--- a/setup.py
+++ b/setup.py
@@ -45,7 +45,7 @@ setup(
     ],
     extras_require={
         # this version requirement needs to be synchronized with the one in nmigen.back.verilog!
-        "builtin-yosys": ["nmigen-yosys>=0.9.*"],
+        "builtin-yosys": ["nmigen-yosys>=0.9.post3527.*"],
         "remote-build": ["paramiko~=2.7"],
     },
     packages=find_packages(),