reverted back to numbered version of lojban.jison