Comment 3 for bug 1019851

Scott, you are right. I thought that debian hardening options would be enabled soon (since the bug was reported) and marked the bug as high priority. We can fix this later since it is not critical.