diff --git a/lib/mk/ocaml.inc b/lib/mk/ocaml.inc
index d79cd0c..656d567 100644
--- a/lib/mk/ocaml.inc
+++ b/lib/mk/ocaml.inc
@@ -2,3 +2,6 @@ OCAML_PORT_DIR := $(call select_from_ports,ocaml)
 OCAML_SRC_DIR :=  $(OCAML_PORT_DIR)/src/ocaml
 
 INC_DIR += $(REP_DIR)/src/app/ocamlrun
+
+# workaround for https://github.com/genodelabs/genode-world/issues/180
+REQUIRES += x86_64