diff --git a/examples/boot.sh b/examples/boot.sh
index 88b33a6b..1096d9fd 100755
--- a/examples/boot.sh
+++ b/examples/boot.sh
@@ -139,6 +139,7 @@ coq make -C transformers coq
 #coq make -C transformers/theories no theories yet
 
 make -C ghc vfiles
+(cd ghc/lib; coq coq_makefile -f _CoqProject -o Makefile)
 coq make -C ghc/lib
 (cd ghc/theories; coq coq_makefile -f _CoqProject -o Makefile)
 coq make -C ghc/theories