I don't think this case is necessary. compilation_thread is already set to 4 at initialization. Doesn't look like it's getting changed anywhere else.