lint alarm, So add "#include <list>"