Backout all the Linux Centos 6.5 stuff, just not ready for primetime
for our 10.0.3 release. We will revisit it again later, perhaps look
at the newer f20 ports instead