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