Linux

Merge branch 'latest' into contrib-cleanup #854

Job	Run time
linux, with c++, debug	45s
linux, all features disabled, release	3m 19s
linux, with c++, release	57s
linux, all features disabled, debug	1m 37s
linux, debug, ansi	4m 35s
linux, debug	4m 14s
linux, fuzzer build	22s
linux, release	5m 36s
linux, release, ansi	5m 42s
linux, release, single file library	5m 23s
linux, release, static library	7m 1s
	39m 31s

Provide feedback