Upgrade waf-tools and boost