add missing images2gif.py