change .pdf file extension

I have no idea if this will work.