Ter apenas resolvido (com a ajuda de esta outra discussão ) o que parece ser o mesmo problema, aqui está o que eu fiz no terminal:
wget link _Amd64.deb
sudo dpkg -i libstdc ++ 6_5.4.0-6ubuntu1 ~ 16.04.1 _amd64.deb
depois reinicie e tudo deve ficar bem (pelo menos foi para mim que os dedos cruzaram).