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