create $(DESTSHARED) library if needed
diff --git a/Modules/Makefile.pre.in b/Modules/Makefile.pre.in
index 0feec27..27326cc 100644
--- a/Modules/Makefile.pre.in
+++ b/Modules/Makefile.pre.in
@@ -153,8 +153,11 @@
# Rules to build and install all shared modules
sharedmods: $(SHAREDMODS)
-sharedinstall: $(SHAREDMODS)
+sharedinstall: $(DESTSHARED) $(SHAREDMODS)
for i in dummy $(SHAREDMODS); do \
if test -f $$i; then mv $$i $(DESTSHARED)/$$i; fi; done
+$(DESTSHARED):
+ mkdir $(DESTSHARED)
+
# Stuff is appended here by makesetup and make depend