Boost header-unresolved bug