[tzs]

If you are doing something with GPLed software that does not require permission from the copyright holder, GPL does not apply to what you are doing.

The significance of the first sale doctrine here is that if it applies then Alice's distribution of the binary to Bob does not require permission from the copyright holder.