updating waf from version 1.7.11 to 1.7.15