boost: kill boost dependency in core.cpp