tag cached JEOS images with a format-specific extension

Without this, changing the image_type with cached JEOS images present will cause
breakage.  We will pull in a cached JEOS even if it is of the wrong type.  This
does not end well.
Be explicit about which JEOS file we are using