Fix inclusion of boost headers