<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><html><head><meta content="text/html;charset=UTF-8" http-equiv="Content-Type"></head><body ><div style='font-size:10pt;font-family:Verdana,Arial,Helvetica,sans-serif;'><div>>>No. It should use the already-generated files in src/vm et al.</div><div><br></div><div>Cool, <br></div><div><br></div><div>thx</div><div class="zmail_extra"><div><br></div><div id="1">tty<br></div></div></div></body></html>