Renaming the JPG to PGM converter.