waf: upgrade to 2.0.20