Con un gestor de archivos, seleccionas el archivo y le das a modificar nombre. Le cambias la extensión .bin a .pdf.
Por ejemplo, si te ha descargado Bricoaceite.bin, lo modificas y renombras a Bricoaceite.pdf. Por probar no pierdes nada y a veces funciona.