patch 7.4.711
Problem:    Missing change in one file.
Solution:   Also change option.c
2 files changed