Fix comment about the signature of add_separate_debug_file