minor cleanup #3223

Job	Run time
macOS / Release / homebrew-clang	7m 36s
Ubuntu / Release / gcc	17m 41s
macOS / Debug / homebrew-clang	6m 33s
Ubuntu / Debug / gcc	18m 16s
macOS / Release / system-clang	7m 20s
Ubuntu / Release / clang	16m 43s
macOS / Debug / system-clang	7m 14s
Ubuntu / Debug / clang	12m 49s
Windows / Release / cl	19m 33s
Windows / Release / clang	18m 56s
Windows / Release / clang-cl	31m 44s
Windows / Debug / cl	21m 36s
Windows / Debug / clang	22m 13s
Windows / Debug / clang-cl	20m 40s
	3h 48m 54s

Provide feedback