For an effective copyleft, modified versions of software must also be free