vcpkg/ports/seal/CONTROL