fix broken C compiler memory manager