allocator proxy now dervied from std::allocator, fixes in ObjectsCache