scripts/get_waf.sh: waf 2.0.1