sync with 10.0-10.0@re

the option is not necessarily required on 9.1 but better to have
installed.