ffmpeg player decoding fix. fixes #32