diff --git a/Makefile b/Makefile
index 2b3c189a..90a62d52 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,8 @@
 include Make.inc
-PREC=prec
 
 library:
-	( [ -d lib ] || mkdir lib)
 	(cd base; make lib)
-	(cd $(PREC); make lib )
+	(cd prec; make lib )
 	(cd krylov; make lib)
 	(cd util; make lib )
 	@echo "====================================="
@@ -12,7 +10,7 @@ library:
 
 clean: 
 	(cd base; make clean)
-	(cd $(PREC); make clean )
+	(cd prec; make clean )
 	(cd krylov; make clean)
 	(cd util; make clean)
 
@@ -20,8 +18,7 @@ cleanlib:
 	(cd lib; /bin/rm -f *.a *$(.mod) *$(.fh))
 veryclean: cleanlib
 	(cd base; make veryclean)
-	(cd $(PREC); make veryclean )
+	(cd prec; make veryclean )
 	(cd krylov; make veryclean)
 	(cd util; make veryclean)
 
-.PHONY: lib