Fix CentOS release version comparison
Merge pull request #6 from CERIT-SC/master

CentOS release version comparison