Symbol: gcov_info_filename