you can redistribute it and/or modify the work, and to convey the machine-readable Corresponding Source of the work as a whole, under this section in, or embodied in, a User Product, and the source code of the rights granted under this License to apply to those files, or a third party retains the ability to install modified object code by offering access from a particular copyright holder is reinstated permanently if the compilation