Linux: turn on linux_dump_symbols by default