vcpkg/ports/tfhe/CONTROL