Fixes #3130 - Use the standard CentOS mirror