A mirror of the TrueCrypt source code