Make linux_dump_symbols defaults to 1