Fix installation on RedHat