PDF files do not have to have a `.pdf` file extension. There is a content type stored in the database you can use instead for files in the current Wordpress install.