Reduce size of basic_specs #7793

Job	Run time
mingw (mingw64)	4m 2s
mingw (ucrt64)	5m 12s
build (windows-2019, Win32, v142, 17, Debug)	1m 58s
build (windows-2019, Win32, v142, 17, Release)	2m 10s
build (windows-2019, Win32, v142, 17, -DBUILD_SHARED_LIBS=ON, Debug)	1m 4s
build (windows-2019, Win32, v142, 17, -DBUILD_SHARED_LIBS=ON, Release)	2m 3s
build (windows-2019, x64, v141, 14, Debug)	1m 30s
build (windows-2019, x64, v141, 14, Release)	2m 2s
build (windows-2019, x64, v141, 17, Debug)	1m 39s
build (windows-2019, x64, v141, 17, Release)	2m 21s
build (windows-2019, x64, v142, 17, Debug)	1m 53s
build (windows-2019, x64, v142, 17, Release)	2m 20s
build (windows-2019, x64, v142, 17, -DBUILD_SHARED_LIBS=ON, Debug)	1m 32s
build (windows-2019, x64, v142, 17, -DBUILD_SHARED_LIBS=ON, Release)	2m 52s
build (windows-2019, x64, v142, 20, Debug)	1m 30s
build (windows-2019, x64, v142, 20, Release)	3m 9s
build (windows-2022, x64, v143, Debug, 20)	1m 35s
	38m 52s

Provide feedback