Debianization of TrueCrypt