Having just encountered an issue regarding CXXABI_1.3.8 when trying to install PixInsight on CentOS 7, which comes about as a result of CentOS 7 having an older version of gcc than that used to build PixInsight, I was wondering which distro the developers use to build PixInsight on? I figured if I switched to that distro it might avoid a similar issue cropping up in future.
Of course I should've probably stuck to using Linux Mint!