Extra tools for the waf build tool