diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index f0822e881e7c06c5c1ba628e4ecadb3ba71ac3eb..e7380d160ca17283c96d9b3684fdb3a4a7bc0d2c 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -106,6 +106,7 @@ PLUGIN_CMO:= src/local_config \
 
 PLUGIN_HAS_MLI:=yes
 PLUGIN_DISTRIBUTED:=yes
+PLUGIN_DEPENDENCIES:= RteGen
 
 # We "save" this variable so that it can be used once PLUGIN_DIR has been reset
 EACSL_PLUGIN_DIR:=$(PLUGIN_DIR)