possible fix for #7642

(though maybe it is better to only enable something other the png when png isn't
available)