using cedet a bit more seriously
gzipped pdfs should also be opened by evince
removed doubled statement