*2pdf.py: automatically converting to png