Entschuldigung! Ich habe den falschen Decoder runtergeladen! Ich soll otrlinuxdecoder.tar.bz2 installieren, habe aber den Decoder für ARM-Linux runtergeladen. Kein Wunder, dass er nicht läuft. Jetzt habe ich den richtigen Decoder, und er funktioniert prima.