Merge pull request #14 from libm/nw

Make linux_dump_symbols defaults to 1
Issue 224753002: Linux: Add yet another workaround to keep 32-bit linkers from going OOM.