Parece que eu tinha duas bibliotecas SDL-1.2 instaladas: uma em /usr/local/lib/
e uma em /usr/lib/i386-linux-gnu/
, a última das quais é o caminho padrão no Ubuntu, eu acredito. Remover todos os arquivos SDL em /usr/local/lib/
resolveu o problema.