more missing header files