* db-symbols.awk: Use the last field for the symbol name instead of the 8th one.
Exclude % lines from initial #-comment removal.