bison_index doesn't support the -c option