small hacks in malloc.c, must fix rand.c