BufferAllocator failing on 32 bit machines