--- Makefile.in.orig	2012-07-19 12:33:10.000000000 -0600
+++ Makefile.in	2012-07-30 20:28:33.062463838 -0600
@@ -812,14 +812,9 @@
 	mkdir -p $(LIBDIR)/why/coq7
 	cp -f $(VO7) $(LIBDIR)/why/coq7
 install-coq-v8 install-coq-v8.1:
-	if test -w $(COQLIB) ; then \
-	  mkdir -p $(COQLIB)/user-contrib/Why ; \
-	  cp -f $(VO8) $(COQLIB)/user-contrib/Why ; \
-	else \
-	  echo "Cannot copy to Coq standard library. Add \"-R $(LIBDIR)/why/coq Why\" to Coq options." ;\
-	fi
-	mkdir -p $(LIBDIR)/why/coq
-	cp -f $(VO8) $(LIBDIR)/why/coq
+	mkdir -p $(COQLIB)/user-contrib/Why
+	cp -f $(V8FILES) $(COQLIB)/user-contrib/Why
+	cp -f $(VO8) $(COQLIB)/user-contrib/Why
 
 install-pvs-no:
 install-pvs-yes: $(PVSFILES)