scripts for converting jpeg from pop9 to GIF