For released versions of Chopstx, it is OK to distribute a binary without the copy of the GNU GPL. Legally speaking: As additional permission under GNU GPL version 3 section 7, you may distribute non-source form of the code without the copy of the GNU GPL normally required by section 4, provided you accompany the license notice and a URL through which recipients can access the Corresponding Source. --