On 27/10/2020 15:20, Bret Busby wrote: [...] > The version number is shown as 78.3.2 (64-bit) I had a look at the tar.bz2 distribution and there is no such file included, so I am assuming it gets created at runtime. Peter