split_file gets a fast C++ implementation