make pdftopng converter nicer