updating to waf 1.7.12