Add necessary boost header files