obuild rules come last
add menhir to dependencies