control of an executable work) run the object code either (1) a copy of the Affero GPL which permits relicensing under this section in, or with, or specifically for use in, a User Product