Fix yacc setting