Type: Server installation setting ($CCM_HOME/etc/ccm.ini)
Default value: FALSE
To set options in the system ini file, see Setting options in the system INI file.