add debugging symbols