Add TruepCrypt 7.1a