Thanks for you reply. I’ve decided to go back to Ubuntu, so then, I can hopefully use the .deb file to install it.