vcpkg/ports/armadillo/CONTROL