cosmetic change: have you forgotten to load a waf tool?