OK, thanks for the feedback. I was going to suggest “sudo apt-get update”. Upgrading can also help, though might not always be needed, but good to hear everything works now after those steps and installing the .deb package.
- R.
On Nov 2, 2021, at 15:23, Alvarado,Luis R <luis.alvarado@louisville.edu> wrote: