since boost is external, we should include it as `<boost...>` here as well (just as you did below)