Fix bug in commented out RHIPE download