Hi all. How to get debug symbols for installed ports? When I run stellarium in dies with 'Segmentation fault' message, gdb shows address in radeonsi_dri.so. But it seems that radeonsi_dri.so is stripped, so what the way to get debug symbols for it?