Made more header files available