Don't ignore the waf-tools directory.