re PR libstdc++/31777 (GLIBCXX_FORCE_NEW doesn't always work in pool_allocator)