On Wed, 24-Jul-2019 at 04:39:19 +0000, Montgomery-Smith, Stephen wrote: > It should be working now. Please let me know about any further problems. Grabbed ports-cur.13066.gz ports-cur.13067.gz src-11.1362.gz src-12.0337.gz src-cur.14115.gz src-cur.14116.gz and all these worked perfectly. Thanks to all who keep ctm alive!