Verifique se você tem a biblioteca SDL de 32 bits:
sudo apt-get install libsdl1.2debian:i386
se não funcionar - verifique se o ET aponta para o local correto.
sudo nano et
- > vá para a linha ~ 11. e certifique-se de que o caminho esteja correto. Você pode localizar o caminho executando locate libSDL-1.2.so.0