TrueCrypt audit finds “no evidence of backdoors” or malicious code