revision: include boost header