better filenames for plot PDFs.