Symbol: add_certificate_file