fix for waf