added header files and stub headers