RE: is truecrypt dead?