Fresh server install on RHEL5: source or yum repo?