Maybe this is an alternative for your problem, though its not debian ;-) On http://www.rockbox.org/ you can find an open firmware for your player. Regards, Jörg-Volker.