Delete intlist.h