Silence Lintian error 'unstripped-binary-or-object'