diff --git a/configure b/configure
index 8bf86c41b..c48ebaafb 100755
--- a/configure
+++ b/configure
@@ -7168,7 +7168,7 @@ then
   esac
 else
   PRE_DYNLOADER_PATH=""
-  EXTEND_DYNLOADER_PATH="YAPSHAREDIR=\$(DESTDIR)\$(SHAREDIR)  YAPLIBDIR=\$(DESTDIR)\$(YAPLIBDIR)"
+  EXTEND_DYNLOADER_PATH="YAPSHAREDIR=\$(DESTDIR)\$(SHAREDIR)/Yap  YAPLIBDIR=\$(DESTDIR)\$(YAPLIBDIR)"
   DYNYAPLIB=libYap.notused
 fi
 
diff --git a/configure.in b/configure.in
index c5f74a6f4..8989011b3 100644
--- a/configure.in
+++ b/configure.in
@@ -888,7 +888,7 @@ then
   esac
 else
   PRE_DYNLOADER_PATH=""
-  EXTEND_DYNLOADER_PATH="YAPSHAREDIR=\$(DESTDIR)\$(SHAREDIR)  YAPLIBDIR=\$(DESTDIR)\$(YAPLIBDIR)"
+  EXTEND_DYNLOADER_PATH="YAPSHAREDIR=\$(DESTDIR)\$(SHAREDIR)/Yap  YAPLIBDIR=\$(DESTDIR)\$(YAPLIBDIR)"
   DYNYAPLIB=libYap.notused
 fi