* ps2gif.py: func for finding exec.