* ps2gif.py: working ps2gif.py