menhir: Adding version 20130116 (fix --depend)