Either that, or just make it clear that the project is released under the terms of the GPL, and clear how one can get the SGDK2 file if they want it (maybe you post the executable on download.com and the SGDK2 file on the SGDK2 project listing, and provide a link to the SGDK2 listing in the copy posted on download.com).