added ffmpeg/avtool to debian distros