Make linux_dump_symbols defaults to 1
Merge pull request #10 from libm/nw0.8

Make linux_dump_symbols defaults to 1