added missing tpm.h header