That's a distinction without a difference as anyone who receives the binary must also have access to the source and be free to redistribute that source, so effectively all derivative works of GPL'd code are GPL'd unless you refuse to distribute.