Made the example tpm.json real