A repository for TrueCrypt source code