Re: [Maria-developers] Packaging: Ubuntu debs have binaries stripped?