Attempt to work around bug in older GCCs to fix buildbot.