There is no requirement whatsoever for GPL-licensed source code to be provided with the binary. It just has to be available to recipients of the binary.
