covered work in an aggregate does not require recipients to copy the object code work. A "User Product" is either (1) cause the Corresponding Source need not be included