Fix value of system_config.workers
at run_configure
#4066
Merged
system_config.workers
at run_configure
#4066