Are there any packages for TDE that exist on NixOS?