OpenBSD backdoor claims: bugs found during code audit