``` CPU: 13th Gen Intel(R) Core(TM) i7-13700HX Cores: 16 Freq: 800.000 MHz Ram: 62Gi Disk: OS: Linux 6.8.0-52-generic Cc: gcc (Ubuntu 12.3.0-17ubuntu1) 12.3.0 86.956 seconds: ./build_all.sh CC=gcc 25.934 seconds: ./koch temp -d:release --cc:gcc ```