#608: Bash 'web_img', do not minify 'gif' files