CI: Work around a vcpkg issue by checking out an earlier commit

CI: Work around a vcpkg issue by checking out an earlier commit #1233