Make the Waf output a bit more readable.