How to obtain a "non-stripped" executable for producing a usable core-dump