Run benchmarks on the current master with -fgmp -fFFI.