truecrypt EULA TODO