fix menhir makefile