#!/usr/bin/env python

import os, stat, urllib2

f = urllib2.urlopen('http://waf.googlecode.com/files/waf-1.7.9')

with open('waf', 'wb') as waf:
    waf.write(f.read())

os.chmod('waf', os.stat('waf').st_mode | stat.S_IXUSR)

@@ -107,9 +107,10 @@
 1.7.
-9
+11
 ')%0A%0A

Update bootstrap script to fetch Waf 1.7.11.