New waf:

real    0m55.595s
user    0m28.470s
sys     0m8.133s


Old waf:

real    0m53.311s
user    0m27.214s
sys     0m8.145s