diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index 29b1bdd3392aa58e00710e5168dd389d09dd17d8..c1f310d918f3f38887caef4b16997e63bff11c48 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -123,15 +123,20 @@ write_plugin_config(Makefile)
 ###############################
 # Configure contrib libraries #
 ###############################
+
+m4_ifndef([plugin_dir], [
+  m4_define([plugin_dir],[./])
+])
+
 # Configure libgmp
 if test "$FULL_GMP" = yes; then
   AC_MSG_NOTICE([Configure libgmp])
-  (cd contrib/libgmp && ./configure)
+  (cd plugin_dir/contrib/libgmp && ./configure)
 fi
 
 # Configure libjemalloc
 AC_MSG_NOTICE([Configure libjemalloc])
-(cd contrib/libjemalloc && ./autogen.sh \
+(cd plugin_dir/contrib/libjemalloc && ./autogen.sh \
   --with-jemalloc-prefix="__e_acsl_native_" \
   --with-private-namespace="__e_acsl_hidden_" \
   --with-install-suffix="-e-acsl")