[PATCH configure] For RHEL, point to RHEL 6 repos