main(): add more missing includes