--- boot.orig	2010-04-11 02:06:07.000000000 +0200
+++ boot	2010-04-11 12:19:32.000000000 +0200
@@ -2,7 +2,7 @@
 set -e
 
 # Create libraries/*/{ghc.mk,GNUmakefile}
-bash boot-pkgs
+sh boot-pkgs
 
 # Check that we have all boot packages.
 for dir in `grep "^[^# ][^ ]*  *[^ ][^ ]*  *[^ ][^ ]*$" packages | sed "s/ .*//"`