Changes to implement debugging symbols with the --debug-symbols flag
Merge pull request #1 from garyservin/manzato-debug-symbols

Changes to implement debugging symbols with the --debug-symbols flag