Rename centos42 to the more generic centos4, and change the URLs appropriately.