Updated waflib to latest master from https://code.google.com/p/waf/source/list?name=waf-1.7 (rev9b59102d35d9576e35c238201f43f9e5ed7fc1cf) -- seriously, this time.