Update parser5.mly