libgccpp.so.1 : add back differing 32-bit C++ symbols

In 5d12713c we stopped the C library exporting non-public symbols. In that same change we removed these symbols from the libgccpp library -- but the build of that library is still exporting these symbols. So we need to put them back

Closes: #1018924