gif2png: use python exlib