a collection of Waf tools