gifjpeg.pl is a script that adds a gif or jpeg extension to an image file name, depending on it's ability to display progressivly encoded jpegs. This script uses a server set environment variable and so requires a compatible server, e.g. Apache.