New waf:
real    0m12.645s
user    0m5.556s
sys     0m2.060s

Old waf:
real    0m12.956s
user    0m6.260s
sys     0m2.028s