Attempt a work around of a 32-bit gcc quirk