[ArbitraryHobo]

http://www.gnu.org/licenses/old-licenses/gpl-2.0.en.html

> object code or executable form under the terms of Sections 1 and 2 above provided that you also do one of the following:

[bcook]

If someone modifies GPL source-code and published the executable, they must publish the additional source-code.

Your quoted section only speaks of unmodified machine-code created from GPLed source-code.