Rename the waf-tools directory.