true: use_menhir <*.ml>: debug <*.byte>: use_unix, debug <*.native>: use_unix