$pdf_previewer = 'evince %O %S';