TrueCrypt is dead — and that might not be a bad thing