Provavelmente é um problema Mono e aparentemente v4.4.1 ou mais antigo ou dependente apenas em algumas versões.
Tente instalar / manter atualizado o Mono pelo seguinte comando (Ubuntu 16.04), consulte esta página como instalar em 17.04 ou você pode precisar de somente instalar o pacote Mono-runtime .
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
echo "deb http://download.mono-project.com/repo/ubuntu xenial main" | sudo tee /etc/apt/sources.list.d/mono-official.list
sudo apt-get update
sudo apt-get install mono-devel
Ou no Ubuntu antigo, siga as instruções mencionadas aqui .
Você também pode precisar seguir o passo 3 rd em instruções e fazer Verificação da instalação .
Se o Mono estivesse funcionando bem, você não deveria ter problemas de travamento ao usar o corte em Pinta também.
A última versão Mono é: 5.2.0 Estável (5.2.0.215); Você pode precisar tentar em diferentes versões do Mono para fazê-lo funcionar.