Update configure step for waf in INSTALL