Debian package contains benchmark binaries

Benchmark binaries are not useful to users, and should not be included in the Debian package.