freecicero,
Hi there, I had forgotten about this after it seemed that no one else had experienced the same issue. I've been using Atlantis in Linux Mint for many years (I use it on occasion, usually when Windows hits a little turbulence). So far, I haven't had any problems with installing Atlantis ...