Al final lo he solucionado con una aplicación llamada RingDroid (gratuita). Selecciono el tema de mp3 que quiero usar (antes lo había copiado en la SD) y con la aplicación edito el mp3 y lo guardo como tono de llamada (también puedes guardarlo como tono de despertador).
