Hi Ansis, > Instead of discarding debug symbols, it would be better to strip > them off into a dedicated debian package. Applied to master, thanks for the patch. Please be aware that these debianization scripts are not actually used by Debian or any other distribution, and are just provided for convenience. Best Regards Martin