Adding some necessary header files.