make waf executable