MintTCB -> PrivTCB in examples & tests