( cd usr/lib64 ; rm -rf libCatch2.so )
( cd usr/lib64 ; ln -sf libCatch2.so.3.12.0 libCatch2.so )
( cd usr/lib64 ; rm -rf libCatch2Main.so )
( cd usr/lib64 ; ln -sf libCatch2Main.so.3.12.0 libCatch2Main.so )
