TrueCrypt 7.1a sources