Re: is truecrypt dead?