use the new sexp library for parsing the config file