<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>