Comment 5 for bug 307472

Never mind. You might want to add instructions to the Wiki pages referenced above to say something like "Don't try to run the downloaded files in /usr/lib/debug, they are just debug symbols." I had never heard of the concept of this in Linux, and I have no idea how they are found. Nevertheless, it does work if you run the normal binary somehow.