Fix bug in reporting of system release (on RHEL 6.4)