Use the good version of std.allocator