Distribute Eigen headers, not TNT.