Thank you! I had downloaded the zip file (rather than the tar.gz file). The latter works fine! Jeff
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST