gif2png: don't require python repo