<div dir="ltr"><div class="gmail_default" style="font-size:large">Several occurrences of w32 should probably be updated.</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Bob T.</div></div>