x86_64: libbrial.so.3 libbrial_groebner.so.3
