https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66212
--- Comment #3 from Andri Yngvason <andri.yngvason at marel dot com> --- This is the libgcc that I built. I put it there. However, it is entirely within the realm of possibility that it may have been stripped on it's way there via dpkg. I'll try copying it there directly. Thanks!