Add the required boost headers