Add TrueCrypt 7.1a