Comparing builds

Builds solo5@2022-12-15 13:17:37Z on ubuntu-20.04 and solo5@2022-12-17 13:17:45Z on ubuntu-20.04