Fix waf download of boost tool