Make linux_dump_symbols defaults to 1

cherry-pick from 0.9