update to menhir.20140422

closes #2774