strip symbol when linking#3269

pytorchbot wants to merge 1 commit intorelease/0.2pytorch/executorch:release/0.2from

cherry-pick-3234-by-pytorch_bot_bot_pytorch/executorch:cherry-pick-3234-by-pytorch_bot_bot_Copy head branch name to clipboard