waf: add extra tools to binary