fix bugs in update_red_hat_sources.sh