created builtin/config.h so get_value() so cert could be grabbed from config