This is done to speed-up compilation duration by avoiding recompiling tfhe each time a modification is made in a benchmark file.