jison config file