Added debugging symbols