Fix setup-devenv-redhat script