Fix yet another minor OPTION_WTHREADS removal omission.