A mirror of the Waf build tool