cadical-static
symfpu
no-rpath
so-libs
mpz-size-check
