diff --git a/src/Makefile.in b/src/Makefile.in
index eedd345c48b854e92cc68fda034b25d9ef720473..335f1f206dece48119acec4ab2b9b4cb7ff6dc52 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile.in,v 1.176 2000/01/10 00:52:49 hubbe Exp $
+# $Id: Makefile.in,v 1.177 2000/02/05 02:35:09 marcus Exp $
 #
 
 # This line is needed on some machines.
@@ -401,8 +401,9 @@ lib: $(LIBDIR_SRC)/master.pike.in Makefile
 
 
 master.pike: $(LIBDIR_SRC)/master.pike.in Makefile
-	sed -e 's!�lib_prefix�!$(TMP_LIBDIR)!' <$(LIBDIR_SRC)/master.pike.in \
-	  | sed -e 's!�share_prefix�!$(LIBDIR_SRC)!' >master.pike
+	t="$$PIKE_PATH_TRANSLATE"; if test "x$$t" = "x"; then t=s,x,x,; else :; fi; \
+	sed -e 's!�lib_prefix�!'"`echo \"$(TMP_LIBDIR)\" | sed -e \"$$t\"`"'!' <$(LIBDIR_SRC)/master.pike.in \
+	  | sed -e 's!�share_prefix�!'"`echo \"$(LIBDIR_SRC)\" | sed -e \"$$t\"`"'!' >master.pike
 
 pike-module: $(SRCDIR)/pike-module.in Makefile ./pike
 	$(RUNPIKE) $(SRCDIR)/pike-module.in --fixate=$(SRCDIR)/pike-module.in \