correct platform name for redhat

Fixes #37