Fix naming of allocator.h