Eliminate vestigal sequential/malloc.h