How to play an avi file from putty