diff --git a/Makefile b/Makefile
index 228828bb6112600704996a2ce46dea573c3d90eb..1c16099dada8170a3572e9ead07cfffede46491a 100644
--- a/Makefile
+++ b/Makefile
@@ -675,6 +675,9 @@ check-logic-parser-wildcard:
 
 NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic
 
+src/kernel_services/abstract_interp/abstract_memory.cmo: BFLAGS += -rectypes
+src/kernel_services/abstract_interp/abstract_memory.cmx: OFLAGS += -rectypes
+
 # C Bindings
 ############