Merge pull request #709 from jmaas/master

fix distro detection on RHEL