fixed tiny mistake in waf binary