Problems using non-libc memory allocators