Bug#818990: Is it really a flint problem?

[Santiago Vila]

It still fails on reproducible builds on the "armhf" architecture, but
only in testing, and the way it fails is now completely different than
the way it failed on amd64 in the initial report.