Fixing debugging symbols for C++ code