--- otherlibs/dynlink/Makefile.orig	Tue Mar  2 10:26:18 2004
+++ otherlibs/dynlink/Makefile	Tue Mar  2 10:26:25 2004
@@ -38,7 +38,7 @@
 	$(CAMLC) $(COMPFLAGS) -o extract_crc dynlink.cma extract_crc.cmo
 
 install:
-	cp dynlink.cmi dynlink.cma dynlink.mli extract_crc $(LIBDIR)
+	cp dynlink.cmi dynlink.cma dynlink.mli extract_crc $(DESTROOT)$(LIBDIR)
 
 installopt: