> object code or executable form under the terms of Sections 1 and 2 above provided that you also do one of the following:
Your quoted section only speaks of unmodified machine-code created from GPLed source-code.
> object code or executable form under the terms of Sections 1 and 2 above provided that you also do one of the following: