linux support for default allocator