Fixed error from cherry pick merge in `ci_bootstrap.php`