8ee84bd01f
* db-symbols.awk: Use the last field for the symbol name instead of the 8th one.
* db-symbols.awk: Use the last field for the symbol name instead of the 8th one.