cast return type of std::distance to int
in test_boostfilesys.cpp