Jisonify does not work with the current version of jison.