On Mon, Jul 9, 2012 at 9:42 AM, Thomas Schatzl <tom_at_work at gmx.at> wrote: > Run >... > (I.e. the command line that failed, including "-al -s") That results in: Fatal: No source file name in command line Fatal: Compilation aborted -- Felipe Monteiro de Carvalho