Added missing include in Allocator.h