x86_64: libflint.so.23
