do yacc options more posix compliant