don't deal with uv for nested loop on browser side
Make linux_dump_symbols defaults to 1