Removing unused header

It is included by alloc.h.