more missing #include