Removed patch for old malloc bug (no more useful with updated toolchain)