change the old-style allocators to new and delete[]