export pdf: append .pdf file extension by default