make sure all headers are installed