clarify when drracket creates executables