not texmf/tex/images/sussex/ssxcrest.eps Since drivers are likely to support multiple image file types, this seems cleaner to me. The file extension should serve sufficiently to distinguish so a .eps file doesn't get read when the driver is looking for a .pict. Or whatever.