Minor cleanup #8215

Job	Run time
mingw (mingw64)	3m 53s
mingw (ucrt64)	3m 56s
build (windows-2019, Win32, v142, 17, Debug)	1m 14s
build (windows-2019, Win32, v142, 17, Release)	2m 3s
build (windows-2019, Win32, v142, 17, -DBUILD_SHARED_LIBS=ON, Debug)	1m 11s
build (windows-2019, x64, v141, 14, Release)	2m 8s
build (windows-2019, x64, v142, 17, Release)	2m 17s
build (windows-2019, x64, v141, 17, Release)	2m 18s
build (windows-2019, x64, v142, 17, -DBUILD_SHARED_LIBS=ON, Release)	2m 10s
build (windows-2019, x64, v141, 17, Debug)	1m 23s
build (windows-2019, x64, v142, 17, Debug)	1m 15s
build (windows-2019, x64, v141, 14, Debug)	1m 19s
build (windows-2019, x64, v142, 20, Release)	2m 42s
build (windows-2019, x64, v142, 20, Debug)	1m 38s
build (windows-2019, x64, v142, 17, -DBUILD_SHARED_LIBS=ON, Debug)	1m 11s
build (windows-2019, Win32, v142, 17, -DBUILD_SHARED_LIBS=ON, Release)	1m 53s
build (windows-2022, x64, v143, Debug, 20)	2m 21s
	34m 52s

Provide feedback