Fixes #5.  Comment out the 'git pull' in bootstrap.sh.