<br>Update:<br>On a different (though faster) computer, things are as expected: the split version is much faster (5s to launch VS 12s).<br>So the problem does not seem to be caused by Racket.<br>I'll have to do more tests on my other computer to see where that comes from. <br>
<br>Thanks for your help.<br><br>( That question still holds though: )<br><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>Isn't there a way to add a collection path to mzc? <br></div></div></blockquote></div>