--- stdlib/Makefile.orig	2012-10-15 19:50:56.000000000 +0200
+++ stdlib/Makefile	2014-04-01 07:27:40.000000000 +0200
@@ -23,8 +23,8 @@
 installopt: installopt-default installopt-$(PROFILING)
 
 installopt-default:
+	$(RANLIB) stdlib.a
 	cp stdlib.cmxa stdlib.a std_exit.o *.cmx $(LIBDIR)
-	cd $(LIBDIR); $(RANLIB) stdlib.a
 
 installopt-noprof:
 	rm -f $(LIBDIR)/stdlib.p.cmxa; ln -s stdlib.cmxa $(LIBDIR)/stdlib.p.cmxa
@@ -34,8 +34,8 @@
 	rm -f $(LIBDIR)/std_exit.p.o; ln -s std_exit.o $(LIBDIR)/std_exit.p.o
 
 installopt-prof:
+	$(RANLIB) stdlib.p.a
 	cp stdlib.p.cmxa stdlib.p.a std_exit.p.cmx std_exit.p.o $(LIBDIR)
-	cd $(LIBDIR); $(RANLIB) stdlib.p.a
 
 stdlib.p.cmxa: $(OBJS:.cmo=.p.cmx)
 	$(CAMLOPT) -a -o stdlib.p.cmxa $(OBJS:.cmo=.p.cmx)
