make type_to_cert compile again after Ramana's changes