x86_64: libCatch2.so.3.7.1 libCatch2Main.so.3.7.1
