7 Years Ago
fix size of _ignore_this_common_lua_header_ in both builds