support of the new memory allocator interface (see https://github.com/rust-lang/wg-allocators/issues/17)
