Reproducing Tor Browser 8.0.2 is failing sometimes on Linux (64bit)

While rushing to the 8.0.2 security release we found a problem with reproducing Linux (64bit) bundles. The failure is intermittently, though, but it is still concerning.

It's not clear yet what is causing this problem. The current theory is one of the security patches although this does not make much sense yet.