we don't use list.c for now, so just skip it