link liboqs.so.0.12.0