Fixes #699: static targets #768

Job	Run time
build (ubuntu-24.04, 12.6.2, 13, bash, Unix Makefiles)	2m 38s
build (ubuntu-24.04, 12.5.1, 13, bash, Unix Makefiles)	2m 38s
build (ubuntu-20.04, 12.6.0, 10, bash, Unix Makefiles)	2m 44s
build (ubuntu-20.04, 12.5.1, 10, bash, Unix Makefiles)	2m 50s
build (ubuntu-20.04, 12.4.1, 10, bash, Unix Makefiles)	2m 39s
build (ubuntu-20.04, 12.3.1, 10, bash, Unix Makefiles)	2m 55s
build (ubuntu-20.04, 12.2.2, 10, bash, Unix Makefiles)	3m 3s
build (ubuntu-20.04, 12.1.1, 10, bash, Unix Makefiles)	2m 34s
build (ubuntu-20.04, 12.0.1, 10, bash, Unix Makefiles)	2m 58s
build (ubuntu-20.04, 11.8, 10, bash, Unix Makefiles)	2m 39s
build (ubuntu-20.04, 11.7, 10, bash, Unix Makefiles)	2m 35s
build (ubuntu-20.04, 11.6.2, 10, bash, Unix Makefiles)	2m 28s
build (ubuntu-20.04, 11.6.1, 10, bash, Unix Makefiles)	2m 50s
build (ubuntu-20.04, 11.6, 10, bash, Unix Makefiles)	2m 40s
build (ubuntu-20.04, 11.5, 10, bash, Unix Makefiles)	2m 35s
build (ubuntu-20.04, 11.4, 10, bash, Unix Makefiles)	2m 22s
build (ubuntu-20.04, 11.3, 9, bash, Unix Makefiles)	2m 30s
build (ubuntu-20.04, 11.2, 9, bash, Unix Makefiles)	2m 23s
build (ubuntu-20.04, 11.1, 9, bash, Unix Makefiles)	2m 8s
build (ubuntu-20.04, 11.0, 9, bash, Unix Makefiles)	1m 48s
	51m 57s

Provide feedback