on 02/03/2013 22:23 Dimitry Andric said the following: > > Have you verified that ctfconvert does the right thing, if you modify > the FILE symbol to have just the filename? No, I haven't. How can I test that? However my reading of the code makes me believe that that would help. -- Andriy Gapon