CPU: 11th Gen Intel(R) Core(TM) i7-1165G7 @ 2.80GHz

```
CPU: 11th Gen Intel(R) Core(TM) i7-1165G7 @ 2.80GHz
Cores: 8
Freq: 4100.000 MHz
Ram: 15Gi
Disk:
OS: Linux 6.10.12-200.fc40.x86_64
Cc: gcc (GCC) 14.2.1 20240912 (Red Hat 14.2.1-3)
135.346 seconds: ./build_all.sh CC=gcc
40.856 seconds: ./koch temp -d:release --cc:gcc
```