Replaced malloc.h with jemalloc.h; or should we use stdlib.h instead?