donnie12 a have a dj program for linux debian it would be a nice addition if there was a decoder to convert it into mp3 file format?