Now add a final timing after "Done":


3046:    std::cerr << "Done." << std::endl;


Edit

    PHASE_LOG("Index file writing");
    std::cerr << "Done." << std::endl;