added a few missing header files