x86_64: libflint.so.19
