menhir: Version bump to 20130116 (fix --depend)