<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="gmail_quote"><div>And I don&#39;t know what is the problem with the icon. It is a 16x16, 32-bit file.<br>
</div></div>
</blockquote></div><br>the problem was apparently with the ico file itself, which did not include *all* specified format, as said in the docs.<br>(using SimplyIcon solved my problem, if anyone cares)<br><br><br>Now remains the question of what the compilation problem in DrRacket.<br>