Fix tpp installation.