add inst_redhat.py