Use boost for string conversion