header-only version of RedSVD