The spirit of the GPL is the user being able to exercise the four freedoms, not more nor less. Red Hat's EULA allows that; your version doesn't.