<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Thank you Ken; will try that later, as now am experimenting to see
    if a 64-bit build gets any further ...<br>
    <br>
    <div class="moz-cite-prefix">Ken Brown wrote:<br>
    </div>
    <blockquote
      cite="mid:c545453f-a558-13f2-c3e5-2354fcbe764d@gmail.com"
      type="cite">Try cd texk/web2c.
      <br>
    </blockquote>
    <br>
    <div class="moz-signature">-- <br>
      <img src="cid:part1.5341C7AA.2B65698B@Rhul.Ac.Uk"><br>
      Philip Taylor</div>
  </body>
</html>