Delete allocator.h