make sure all headers are built