add AVI files in list of supported videos
simplify makefile