updated waf, and use ad-hoc boost check