Am 24.02.2013 22:02, schrieb Chris Rees: > Well, it's zero effort to remove the file, and worth doing if it's not > necessary. If you approve, let us know and someone will do it, no need > for a patch :) I submitted http://www.freebsd.org/cgi/query-pr.cgi?pr=176426 Best regards Christoph