This will make a very large executable, maybe you can change how much stripping is done (I believe we use -a). Maybe in a pinch you could change the command line to remove the -a, and do normal stripping, and see if it works, but without resulting in a massive executable.