A modification of Dolphin for working AVI video/WAV audio dumping