Hi Michael On Sun, 2 Dec 2018 at 17:11, Michael Rutter <marutter@gmail.com> wrote: > What is the source of the binaries? Are they coming from an Ubuntu > repository or one of my PPA's? These binaries are from the Ubuntu archive. Regards Graham