adds mp3 encoding to python