compress waflib into the waf script