OTHER: Use new waf API

Older API is removed in waf 1.7.x series, preventing from upgrading
waf.
OTHER: Upgrade waf 1.6.7 => 1.7.15