install/install_redhat.py: #! testing.