Added some more forgotten header files.