CPU: Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz

```
CPU: Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz
Cores: 2
Freq: 2593.906 MHz
Ram: 3.8Gi
Disk:
OS: Linux (5.4.0-1100-azure)
Cc: gcc (Ubuntu 9.4.0-1ubuntu1~20.04.1) 9.4.0
476.165 seconds: ./build_all.sh CC=gcc
168.380 seconds: ./koch temp -d:release --cc:gcc
```