Install two more header files